L’obstruction d’Euler locale d’une application
نویسندگان
چکیده
منابع مشابه
Extending DUNE: The dune-xt modules
We present our effort to extend and complement the core modules of the Distributed and Unified Numerics Environment DUNE (http://dune-project.org) by a well tested and structured collection of utilities and concepts. We describe key elements of our four modules dune-xt-common, dune-xt-grid, dune-xt-la and dune-xt-functions, which aim at further enabling the programming of generic algorithms wit...
متن کاملState Spaces - The Locale Way
These theories introduce a new command called statespace. It’s usage is similar to records. However, the command does not introduce a new type but an abstract specification based on the locale infrastructure. This leads to extra flexibility in composing state space components, in particular multiple inheritance and renaming of components. The state space infrastructure basically manages the fol...
متن کاملPositivity relations on a locale
This paper analyses the notion of a positivity relation of Formal Topology from the point of view of the theory of Locales. It is shown that a positivity relation on a locale corresponds to a suitable class of points of its lower powerlocale. In particular, closed subtopologies associated to the positivity relation correspond to overt (that is, with open domain) weakly closed sublocales. Finall...
متن کاملUtilisation de BPEL pour la gestion des processus métier d'une application locale
Résumé. Nous présentons ici les différentes étapes et techniques de développement choisies pour l’informatisation du traitement des prestations familiales des travailleurs frontaliers du Luxembourg. Après avoir expliqué le cadre, les enjeux et le déroulement global du projet, nous présentons notre utilisation d’un moteur de processus basé sur BPEL et de développement dirigé par des modèles, ces...
متن کاملModélisation prospective spatialisée à l'échelle locale : approche méthodologique. Application à la gestion de l'eau en Bretagne
The main objective of this work is to elaborate a generic methodological approach to build prospective scenarios spatially explicit at a local scale. This approach is based on the scenario 2 Revue Internationale de Géomatique. Volume X – n° X/200X method used in prospective studies, and uses methodological techniques developed for the modelling of complex systems. The scenario-development proce...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annales de la faculté des sciences de Toulouse Mathématiques
سال: 2008
ISSN: 0240-2963
DOI: 10.5802/afst.1175